|
|
Artificial intelligence in higher education / Proceedings of the International Symposium... ; ed. V. Marík, O. Stepánková, Z. Zdráhal
Monografia
Publication
Berlin : Springer-Verlag, cop. 1990
Description
IX, 247 p. :
il. ;
24 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Termination proofs for logic programs / Lutz Plümer
Monografia
Publication
Berlin : Springer-Verlag, cop. 1990
Description
VIII, 142 p. :
il. ;
24 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Artificial social systems / ed. Cristiano Castelfranchi, Eric Werner
Monografia
Publication
Berlin : Springer-Verlag, cop. 1994
Description
XVIII, 337 p. :
il. ;
24 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
KI-95 : advances in artificial intelligence : proceedings / 19th Annual German Conference on Artificial Intelligence ; ed. Ipke Wachsmuth, Claus-Rainer Rollinger, Wilfried Brauer
Monografia
Publication
Berlin : Springer-Verlag, cop. 1995
Description
XII, 268 p. :
il. ;
24 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Foundations of intelligent systems : proceedings of the 9th International Symposium on... / ed. Zbigniew W. Ras, Maciek Michalewicz
Monografia
Publication
Berlin : Springer, cop. 1996
Description
IX, 664 p. :
il. ;
24 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Case-based reasoning technology : from foundations to applications / ed. Mario Lenz... [et al.]
Monografia
Publication
Berlin : Springer, cop. 1998
Description
XVIII, 405 p. ;
24 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (2).
|
|
|
Methodologies for intelligent systems / 7th International Symposium... ; ed. J. Komorowski
Monografia
Publication
Berlin : Springer-Verlag, cop. 1993
Description
XI, 651 p. :
il. gráficos ;
24 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Aspects of automated natural language generation : proceedings / 6th International Workshop on Natural Language Generation ; ed. Robert Dale... [et al.]
Monografia
Publication
Berlin : Springer-Verlag, cop. 1992
Description
VIII, 308 p. :
il. ;
25 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
The next generation of information systems : from data to knowledge / ed. Michael P. Papazoglou, John Zeleznikow
Monografia
Publication
Berlin : Springer-Verlag, cop. 1992
Description
VIII, 310 p. :
il. ;
25 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Progress in case-based reasoning : proceedings / First United Kingdom Workshop ; ed. Ian D. Watson
Monografia
Publication
Berlin : Springer-Verlag, 1995
Description
VIII, 209 p. :
il. ;
24 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Cooperative information agents : proceedings / First International Workshop, CIA'97 ; ed. Peter Kandzia, Matthias Klusch
Monografia
Publication
Berlin : Springer-Verlag, 1997
Description
IX, 285 p. :
il. ;
24 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Advances in case-based reasoning : proceedings / Third European Workshop... ; ed. Ian Smith, Boi Faltings
Monografia
Publication
Berlin : Springer-Verlag, 1996
Description
IX, 530 p. :
il. ;
24 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Creating personalities for synthetic actors : towards autonomous personality agents / ed. Robert Trappl, Paolo Petta
Monografia
Publication
Berlin : Springer, cop. 1997
Description
251 p. :
il. ;
24 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Qualitative representation of spatial knowledge / Daniel Hernández
Monografia
Publication
Berlin : Springer, cop. 1994
Description
IX, 202 p. :
il. ;
24 cm
LocationBiblioteca da UMinho no Campus de Azurém
Availability
Available (1).
|
|
|
Knowledge discovery in databases : PKDD 2005 : proceedings / 9th Europen Conference on Principles and Practice... ; ed. Alípio Jorge... [et al.]
Monografia
Publication
Heidelberg : Springer, cop. 2005
Description
XXIII, 719 p. :
il. ;
24 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Knowledge based computer systems / ed. S. Ramani, R. Chandrasekar, K. S. R. Anjaneyulu
Monografia
Publication
Berlin : Springer-Verlag, cop. 1990
Description
X, 546 p. ;
24 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
10th International Conference on Automated Deduction / Proceedings... ; ed. M. E. Stickel
Monografia
Publication
Berlin : Springer-Verlag, cop. 1990
Description
XVI, 688 p. :
il. ;
24 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Current developments in knowledge acquisition - EKAW'92 : proceedings / 6th European Knowledge Acquisition Workshop ; ed. Thomas Wetter... [et al.]
Monografia
Publication
Berlin : Springer-Verlag, cop. 1992
Description
XIII, 444 p. :
il. ;
25 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Parallelization in inference systems / International Workshop... ; ed. Bertram Fronhofer, Graham Wrightson
Monografia
Publication
Berlin : Springer-Verlag, cop. 1992
Description
VIII, 372 p. ;
25 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Learning classifier systems : from foundations to apllications / ed. Pier Luca Lanzi, Wolfgang Stolzmann, Stewart W. Wilson
Monografia
Publication
Berlin : Springer, cop. 2000
Description
X, 347 p. :
il. ;
24 cm
LocationBiblioteca da UMinho no Campus de Azurém
Availability
No copies available
Checked out (1).
|